1. $p$ : $\mathbb{B}$
\\[0ex]2. $q$ : $\mathbb{B}$
\\[0ex]$\vdash$  ($\uparrow$(($p$ $\wedge_{b}$ $q$) $\vee_{b}$(($\neg_{b}$$p$) $\wedge_{b}$ ($\neg_{b}$$q$)))) $\Leftarrow\!\Rightarrow$ ($p$ = $q$)